Henzinger, Christoph: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[ACM Press the fourth ACM international conference - Pisa, Italy (2004.09.27-2004.09.29)] Proceedings of the fourth ACM international conference on Embedded software - EMSOFT '04 - A typed assembly language for real-time programs

Henzinger, Thomas A., Kirsch, Christoph M.

Year:

2004

Language:

english

File:

PDF, 274 KB

english, 2004

2

Soil improvement using recycled aggregates from demolition waste

Henzinger, Christoph, Heyer, Dirk

Journal:

Proceedings of the ICE - Ground Improvement

Year:

2017

Language:

english

File:

PDF, 650 KB

english, 2017

3

[Lecture Notes in Computer Science] Embedded Software Volume 2211 || Bus Architectures for Safety-Critical Embedded Systems

Henzinger, Thomas A., Kirsch, Christoph M.

Year:

2001

Language:

english

File:

PDF, 177 KB

english, 2001

4

Separate compilation of hierarchical real-time programs into linear-bounded Embedded Machine code

Arkadeb Ghosal, Daniel Iercan, Christoph M. Kirsch, Thomas A. Henzinger, Alberto Sangiovanni-Vincentelli

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 1.51 MB

english, 2012

5

[ACM Press the 40th annual ACM SIGPLAN-SIGACT symposium - Rome, Italy (2013.01.23-2013.01.25)] Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '13 - Quantitative relaxation of concurrent data structures

Henzinger, Thomas A., Kirsch, Christoph M., Payer, Hannes, Sezgin, Ali, Sokolova, Ana

Year:

2013

Language:

english

File:

PDF, 614 KB

english, 2013

6

[Lecture Notes in Computer Science] Embedded Software Volume 2211 ||

Henzinger, Thomas A., Kirsch, Christoph M.

Year:

2001

Language:

english

File:

PDF, 6.06 MB

english, 2001

7

[Lecture Notes in Computer Science] Embedded Software Volume 2211 || Adaptive and Reflective Middleware for Distributed Real-Time and Embedded Systems

Henzinger, Thomas A., Kirsch, Christoph M.

Year:

2001

Language:

english

File:

PDF, 331 KB

english, 2001

8

[IEEE 2009 IEEE 30th Real-Time Systems Symposium (RTSS) - Washington DC, USA (2009.12.1-2009.12.4)] 2009 30th IEEE Real-Time Systems Symposium - Distributed, Modular HTL

Henzinger, Thomas A., Kirsch, Christoph M., Marques, Eduardo R. B., Sokolova, Ana

Year:

2009

Language:

english

File:

PDF, 670 KB

english, 2009

9

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Logical Reliability of Interacting Real-Time Tasks

Chatterjee, Krishnendu, Ghosal, Arkadeb, Henzinger, Thomas A., Iercan, Daniel, Kirsch, Christoph M., Pinello, Claudio, Sangiovanni-Vincentelli, Alberto

Year:

2008

Language:

english

File:

PDF, 321 KB

english, 2008

10

[Lecture Notes in Computer Science] Embedded Software Volume 2211 || Interface Theories for Component-Based Design

Henzinger, Thomas A., Kirsch, Christoph M.

Year:

2001

Language:

english

File:

PDF, 238 KB

english, 2001

11

[Lecture Notes in Computer Science] Embedded Software Volume 2211 || Rate-Based Resource Allocation Models for Embedded Systems

Henzinger, Thomas A., Kirsch, Christoph M.

Year:

2001

Language:

english

File:

PDF, 250 KB

english, 2001

12

[ACM Press the 1st ACM/USENIX international conference - Chicago, IL, USA (2005.06.11-2005.06.12)] Proceedings of the 1st ACM/USENIX international conference on Virtual execution environments - VEE '05 - A programmable microkernel for real-time systems

Kirsch, Christoph M., Sanvido, Marco A. A., Henzinger, Thomas A.

Year:

2005

Language:

english

File:

PDF, 269 KB

english, 2005

13

[ACM Press the 6th ACM & IEEE International conference - Seoul, Korea (2006.10.22-2006.10.25)] Proceedings of the 6th ACM & IEEE International conference on Embedded software - EMSOFT '06 - A hierarchical coordination language for interacting real-time tasks

Ghosal, Arkadeb, Sangiovanni-Vincentelli, Alberto, Kirsch, Christoph M., Henzinger, Thomas A., Iercan, Daniel

Year:

2006

Language:

english

File:

PDF, 859 KB

english, 2006

14

The embedded machine

Henzinger, Thomas A., Kirsch, Christoph M.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2007

Language:

english

File:

PDF, 251 KB

english, 2007

15

[ACM Press the ACM SIGPLAN workshop - Snow Bird, Utah, United States (2001..-..)] Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems - LCTES '01 - Embedded Control Systems Development with Giotto

Henzinger, Thomas A., Horowitz, Benjamin, Kirsch, Christoph Meyer

Year:

2001

Language:

english

File:

PDF, 274 KB

english, 2001

16

The embedded machine

Henzinger, Thomas A., Kirsch, Christoph M.

Journal:

ACM SIGPLAN Notices

Year:

2002

Language:

english

File:

PDF, 219 KB

english, 2002

17

[ACM Press the conference - Munich, Germany (2008.03.10-2008.03.14)] Proceedings of the conference on Design, automation and test in Europe - DATE '08 - Logical reliability of interacting real-time tasks

Chatterjee, Krishnendu, Ghosal, Arkadeb, Henzinger, Thomas A., Iercan, Daniel, Kirsch, Christoph M., Pinello, Claudio, Sangiovanni-Vincentelli, Alberto

Year:

2008

Language:

english

File:

PDF, 238 KB

english, 2008

18

[ACM Press the 2001 ACM SIGPLAN workshop - Snow Bird, Utah, United States (2001..-..)] Proceedings of the 2001 ACM SIGPLAN workshop on Optimization of middleware and distributed systems - OM '01 - Embedded Control Systems Development with Giotto

Henzinger, Thomas A., Horowitz, Benjamin, Kirsch, Christoph Meyer

Year:

2001

Language:

english

File:

PDF, 274 KB

english, 2001

19

Composable code generation for distributed giotto

Henzinger, Thomas A., Kirsch, Christoph M., Matic, Slobodan

Journal:

ACM SIGPLAN Notices

Year:

2005

Language:

english

File:

PDF, 287 KB

english, 2005

20

Embedded Control Systems Development with Giotto

Henzinger, Thomas A., Horowitz, Benjamin, Kirsch, Christoph Meyer

Journal:

ACM SIGPLAN Notices

Year:

2001

Language:

english

File:

PDF, 274 KB

english, 2001

21

[ACM Press the 18th international conference - Madrid, Spain (2009.04.20-2009.04.24)] Proceedings of the 18th international conference on World wide web - WWW '09 - Detecting the origin of text segments efficiently

Abdel Hamid, Ossama, Behzadi, Behshad, Christoph, Stefan, Henzinger, Monika

Year:

2009

Language:

english

File:

PDF, 825 KB

english, 2009

22

Applicability of the Porosity/Binder Index to Nonhomogeneous Mixtures of Fine-Grained Soil with Lignite Fly Ash

Henzinger, Christoph, Schuhmacher, Sarah Anna, Festugato, Lucas

Journal:

Journal of Materials in Civil Engineering

Year:

2018

Language:

english

File:

PDF, 945 KB

english, 2018

23

Compaction control of secondary materials used in earthworks

Huber, Stefan, Henzinger, Christoph, Heyer, Dirk

Journal:

Year:

2019

File:

PDF, 2.17 MB

2019

24

Prognose der Festigkeitsentwicklung zementbehandelter Böden mit dem Porosity/Binder‐Index

Henzinger, Christoph, Schömig, Philipp

Journal:

Year:

2019

File:

PDF, 1.78 MB

2019

25

Influence of water and frost on the performance of natural and recycled materials used in unpaved roads and road shoulders

Huber, Stefan, Henzinger, Christoph, Heyer, Dirk

Journal:

Transportation Geotechnics

Year:

2020

File:

PDF, 1.25 MB

2020